#include "raspi3_uart.h"

unsigned long long boot_args[4];

void main()
{
    uart_init();

    uart_puts("ARM64: hello world !\n");

    while (1);
}
